An Argumentation Framework of Reasoning about Actions and Change

Reasoning about actions and change in argumentation

This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language E for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from obse...

A Unified Argumentation-Based Framework for Knowledge Qualification

Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge — be those given, learned, or sensed — at its disposal. This problem, known as knowledge qualification, requires that pieces of knowledge deemed reliable in some context be given preference over the others. These preferences are typically viewed as encodings of reasoning ...

An Argumentation Framework for Reasoning about A tions and Change

Default Reasoning about Actions via Abstract Argumentation

Reasoning about actions is a subfield of artificial intelligence that is concerned with representing and reasoning about dynamic domains. We propose to employ abstract argumentation for this purpose. Specifically, we present a translation of action domains from a specification language into Dung-style argumentation frameworks (AFs). As the key advantage of our approach, we use existing semantic...

On using arguments for reasoning about actions and values

Systems of argumentation for handling beliefs about the world have been reported in earlier papers. It seems possible that these systems may also be applicable to reasoning about the eeects of actions. However there are substantial diierences reasoning about beliefs and reasoning about actions, so a new system of argumentation is required for the latter. This paper makes some preliminary remark...